14. FOL Question 2

FOL Question 2

FOL Question 2 Part 1

Is the following first-order logic sentence a good representation of the English language sentence, “Sam has two jobs”?

∃x, y: Job(Sam, x) ∧ Job(Sam, y) ∧ ¬(x = y)
SOLUTION: Yes

FOL Question 2 Part 2

Are the following first-order logic sentences a good representation of the concept of set membership?

∀x, s: Member(x, Add(x, s)) ∀x, s: Member(x, s) ⇒ (∀y: Member(x, Add(y, s)))
SOLUTION: No

FOL Question 2 Part 3

Is the following first-order logic sentence a good representation of the concept of adjacent squares on a chessboard?

∀x, y: Adj(sq(x, y), sq(+(x, 1), y)) ∧ Adj(sq(x, y), sq(x, +(y, 1))
SOLUTION: No

FOL Question Solution 2